首页> 外文OA文献 >Security Analysis of Role-based Access Control through Program Verification

【2h】

Security Analysis of Role-based Access Control through Program Verification

机译：基于程序验证的基于角色访问控制的安全性分析

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Anna Lisa Ferrara; P. Madhusudan; Gennaro Parlato;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Security Analysis in Role-Based Access Control [J] . NINGHUI LI, MAHESH V. TRIPUNITARA ACM Transaction on Information and System Security . 2006,第4期

机译：基于角色的访问控制中的安全性分析
2. Security Analysis in Role-Based Access Control [J] . Ninghui Li, Mahesh V. Tripunitara ACM Symposium on Access Control Models and Technologies . 2004,第2004Suppla期

机译：基于角色的访问控制中的安全性分析
3. Role-Based Access Controls: Status, Dissemination, and Prospects for Generic Security Mechanisms [J] . WOLFGANG ESSMAYR, STEFAN PROBST, EDGAR WEIPPL Electronic Commerce Research . 2004,第1a2期

机译：基于角色的访问控制：通用安全机制的状态，传播和前景
4. Security Analysis of Role-Based Access Control through Program Verification [C] . Ferrara Anna Lisa, Madhusudan P., Parlato Gennaro 2012 IEEE 25th computer security foundations symposium . 2012

机译：通过程序验证进行基于角色的访问控制的安全性分析
5. Role-Based Access Control Administration of Security Policies and Policy Conflict Resolution in Distributed Systems. [D] . Kibwage, Stephen Sakawa. 2015

机译：分布式系统中基于角色的访问控制安全策略管理和策略冲突解决。
6. Health Information System Role-Based Access Control Current Security Trends and Challenges [O] . Marcelo Antonio de Carvalho Junior, Paulo Bandiera-Paiva 2018

机译：健康信息系统基于角色的访问控制当前的安全趋势和挑战
7. Security Analysis of Role-based Access Control through Program Verification [O] . Ferrara Anna Lisa, Madhusudan P., Parlato Gennaro 2012

机译：基于程序验证的基于角色访问控制的安全性分析

Security Analysis of Role-based Access Control through Program Verification

著录项

引文网络

相似文献

相关主题

期刊订阅